CSREAS.UNF[MRS,LSP] - www.SailDart.org

perm filename CSREAS.UNF[MRS,LSP] blob sn#710804 filedate 1983-05-13 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) CSREAS LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON MAY 12, 1983, AT 11:56 PM

;Loading DEFSTRUCT 280
'REASONING-GRAPH 
'RG-DIRECTORY-ENTRY 
'BELIEF 
'QUERY 
	(COMMENT **FASL** 0. (LAP |BELIEF-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 29. (LAP |RP-NODE-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 57. (LAP |QUERY-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 86. (LAP |BELIEF-DESCRIPTS MACRO| SUBR)) 
	(COMMENT **FASL** 115. (LAP |QUERY-DESCRIPTS MACRO| SUBR)) 
	(COMMENT **FASL** 144. (LAP |BELIEF-BEL-LEVEL MACRO| SUBR)) 
	(COMMENT **FASL** 172. (LAP |QUERY-BEL-LEVEL MACRO| SUBR)) 
'EPISTATUS 
	(COMMENT **FASL** 200. (LAP |CSR:CREATE-LT-BLF∨QRY MACRO| SUBR)) 
'REASONING-TASK 
'REASONING-PROPOSITION-NODE 
'REASONING-CONSIDERATION-LINK 
'CONSIDERATION-FORCE 
	(COMMENT **FASL** 288. (LAP |CREATE-ADVICE-CONSID MACRO| SUBR)) 
'QMP-CONSID 
'STAT-CONSID 
'NEG-CONSID 
'DN-CONSID 
'CINF-CONSID 
'CACT-CONSID 
'CAUS-CONSID 
'REASONING-EXPERT 
	(COMMENT **FASL** 328. (LAP CSR:COPY-CONSID SUBR)) 
	(COMMENT **FASL** 372. (LAP LTI-CREATE-WFF-NEGATION SUBR)) 
	(COMMENT **FASL** 389. (LAP |A-Q-GET MACRO| SUBR)) 
	(COMMENT **FASL** 423. (LAP |A-GET MACRO| SUBR)) 
	(COMMENT **FASL** 457. (LAP |RA-Q-GET MACRO| SUBR)) 
	(COMMENT **FASL** 491. (LAP |CSR:NEGATE-BEL-LEVEL MACRO| SUBR)) 
	(COMMENT **FASL** 518. (LAP CSR:INITIALIZE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 554. (LAP CSR:UPDATE-R-GRAPH LSUBR)) 
	(COMMENT **FASL** 812. (LAP CSR:GET-RP-NODE SUBR)) 
	(COMMENT **FASL** 870. (LAP CSR:UPDATE-RG-DIRECTORY SUBR)) 
	(COMMENT **FASL** 909. (LAP CSR:INSTALL-CONSID-LINK SUBR)) 
	(COMMENT **FASL** 956. (LAP CSR:PROPAGATE-DETERMINACY SUBR)) 
	(COMMENT **FASL** 1000. (LAP EQUAL-EPISTATI SUBR)) 
	(COMMENT **FASL** 1023. (LAP CSR:CREATE-B∨Q-NEGATION SUBR)) 
	(COMMENT **FASL** 1087. (LAP CSR:CREATE-FUNDAMENTAL-CONTEXTS SUBR)) 
	(COMMENT **FASL** 1097. (LAP A-Q-PUTPROP SUBR)) 
	(COMMENT **FASL** 1129. (LAP A-PUTPROP SUBR)) 
	(COMMENT **FASL** 1161. (LAP CSR:INVESTIGATE-FROM-MEMORY LSUBR)) 
	(COMMENT **FASL** 1276. (LAP CSR:CREATE-NORMAL-QUERY SUBR)) 
	(COMMENT **FASL** 1312. (LAP CSR:NORMALIZE-EPISTATUS SUBR)) 
	(COMMENT **FASL** 1393. (LAP CSR:MEMORY-LOOKUP SUBR)) 
	(COMMENT **FASL** 1395. (LAP CSR:RECORD-BELIEF SUBR)) 
	(COMMENT **FASL** 1400. (LAP CSR:CONCLUSIVE-ENOUGH? SUBR)) 
	(COMMENT **FASL** 1430. (LAP CSR:NORMALIZE-BELIEF-TYPE SUBR)) 
	(COMMENT **FASL** 1471. (LAP CSR:ENTER-MEMORY-CONSID SUBR)) 
	(COMMENT **FASL** 1474. (LAP CSR:FIND-CONSIDERATIONS SUBR)) 
	(COMMENT **FASL** 1554. (LAP CSR:FIND-REASONING-TASKS SUBR)) 
	(COMMENT **FASL** 1574. (LAP AT:INSERT-IN-AGENDA SUBR)) 
	(COMMENT **FASL** 1642. (LAP CSR:FIND-HR-TASKS SUBR)) 
	(COMMENT **FASL** 1644. (LAP CSR:FIND-RR-TASKS SUBR)) 
	(COMMENT **FASL** 1696. (LAP CSR:GET-R-EXPERT SUBR)) 
	(COMMENT **FASL** 1719. (LAP CSR:FIND-R-EXPERTS SUBR)) 
	(COMMENT **FASL** 1772. (LAP CSR:BEST-R-TASK SUBR)) 
	(COMMENT **FASL** 1795. (LAP CSR:MORE-URGENT:1 SUBR)) 
	(COMMENT **FASL** 1803. (LAP CSR:ORDER-AGENDA SUBR)) 
	(COMMENT **FASL** 1805. (LAP CSR:DO-R-TASK1-AGENDA SUBR)) 
	(COMMENT **FASL** 1829. (LAP CSR:DO-BEST-R-TASK-AGENDA SUBR)) 
	(COMMENT **FASL** 1849. (LAP CSR:DO-ALL-R-TASKS-AGENDA SUBR)) 
	(COMMENT **FASL** 1882. (LAP CSR:KNOWLEDGE-LOOKUP-ALL SUBR)) 
	(COMMENT **FASL** 1949. (LAP CSR:KNOWLEDGE-LOOKUP SUBR)) 
	(COMMENT **FASL** 2005. (LAP >-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2021. (LAP ≥-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2040. (LAP <-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2055. (LAP ≤-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2075. (LAP CSR:COMPOSE-CONSIDERATIONS SUBR)) 
	(COMMENT **FASL** 2216. (LAP CSR:ONE-DOMINATING-DED-CONSID SUBR)) 
	(COMMENT **FASL** 2256. (LAP HAS-NON-ZERO-FORCE SUBR)) 
	(COMMENT **FASL** 2264. (LAP CSR:COMPUTE-CONSID-FORCES SUBR)) 
	(COMMENT **FASL** 2318. (LAP CSR:COMPUTE-CONSID-FORCE SUBR)) 
	(COMMENT **FASL** 2354. (LAP CSR:CERTAIN-AWPC SUBR)) 
	(COMMENT **FASL** 2366. (LAP CSR:DOUBTLESS-AWPC SUBR)) 
	(COMMENT **FASL** 2383. (LAP CSR:NEG-CERTAIN-AWPC SUBR)) 
	(COMMENT **FASL** 2393. (LAP CSR:CREATE-NEGATION-CONSIDS SUBR)) 
	(COMMENT **FASL** 2450. (LAP MIN-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2470. (LAP CSR:COMPUTE-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2495. (LAP HOW-DEFINITIVE? SUBR)) 
	(COMMENT **FASL** 2537. (LAP GET-YES-OR-NO SUBR)) 
	(COMMENT **FASL** 2564. (LAP XPRG LSUBR)) 
	(COMMENT **FASL** 2592. (LAP EXPLORE-R-GRAPH LSUBR)) 
	(COMMENT **FASL** 3285. (LAP GET-REASONING-GRAPH LSUBR)) 
	(COMMENT **FASL** 3411. (LAP PUSH-REASONING-GRAPH LSUBR)) 
	(COMMENT **FASL** 3537. (LAP POP-REASONING-GRAPH SUBR)) 
	(COMMENT **FASL** 3604. (LAP COUNT-ITEMS SUBR)) 
	(COMMENT **FASL** 3760. (LAP COUNT-NEGATION-CONSIDS SUBR)) 
	(COMMENT **FASL** 3866. (LAP DISPLAY-CURRENT-ITEM SUBR)) 
	(COMMENT **FASL** 3881. (LAP MOVE-TO-NEW-ITEM SUBR)) 
	(COMMENT **FASL** 4012. (LAP DISPLAY-B∨Q-F-DESCRIPTS SUBR)) 
	(COMMENT **FASL** 4084. (LAP IDENTIFY-ITEM SUBR)) 
	(COMMENT **FASL** 4400. (LAP DISPLAY-RP-NODE SUBR)) 
	(COMMENT **FASL** 4935. (LAP CSR:CLASSIFY-CONSIDS SUBR)) 
	(COMMENT **FASL** 4970. (LAP DISPLAY-RPN-BLF-GROUNDS SUBR)) 
	(COMMENT **FASL** 5147. (LAP DNW SUBR)) 
	(COMMENT **FASL** 5148. (LAP DISPLAY-RP-NODE-WFFS SUBR)) 
	(COMMENT **FASL** 5169. (LAP DBQ SUBR)) 
	(COMMENT **FASL** 5177. (LAP DISPLAY-BLF∨QRY LSUBR)) 
	(COMMENT **FASL** 5353. (LAP B∨Q∧EPIST-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 5428. (LAP RPN-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 5463. (LAP DISPLAY-CONSID SUBR)) 
	(COMMENT **FASL** 5828. (LAP C-FIELD-CONTENTS SUBR)) 
'R-GRAPH-DISPLAY-DIRECTORY-ENTRY 
'R-GRAPH-DISPLAY-LINE 
'D-LINE-POINTER-PAIR 
	(COMMENT **FASL** 5882. (LAP ANY-CONCL-DESCENDANTS? SUBR)) 
	(COMMENT **FASL** 5915. (LAP CSR:SUMMARIZE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 6187. (LAP |[MRS,LSP]CSREAS.LSP←1.| SUBR)) 
	(COMMENT **FASL** 6194. (LAP CSR:NORMALIZE-DISPLAY-LIST SUBR)) 
	(COMMENT **FASL** 6339. (LAP CSR:PUSH-D-LINES SUBR)) 
	(COMMENT **FASL** 6373. (LAP CSR:PUSH-BEFORE? SUBR)) 
	(COMMENT **FASL** 6703. (LAP PROPAGATE-MAX-LEVEL SUBR)) 
	(COMMENT **FASL** 6723. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINES:RP-NODE SUBR)) 
	(COMMENT **FASL** 6834. (LAP CSR:CONSTRUCT-RG-FULL-DISPLAY-LINES:RP-NODE SUBR)) 
	(COMMENT **FASL** 6932. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINE SUBR)) 
	(COMMENT **FASL** 7000. (LAP CSR:GET-OR-MAKE-RG-ITEM-NAME SUBR)) 
	(COMMENT **FASL** 7153. (LAP CSR:DISPLAY-RG-SUMMARY SUBR)) 
	(COMMENT **FASL** 7242. (LAP CSR:DISPLAY-RG-D-LIST SUBR)) 
	(COMMENT **FASL** 7377. (LAP IPC LSUBR)) 
	(COMMENT **FASL** 7396. (LAP INTERACTIVE-PROGRAM-CONTROL LSUBR)) 
	(COMMENT **FASL** 7832. (LAP IPC:SET-HELP-VERBOSITY SUBR)) 
	(COMMENT **FASL** 7855. (LAP IPC-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 7864. (LAP DISPLAY-IPC-COMMANDS SUBR)) 
	(COMMENT **FASL** 7880. (LAP IPC-HELP SUBR)) 
	(COMMENT **FASL** 8113. (LAP XPTR LSUBR)) 
	(COMMENT **FASL** 8132. (LAP EXPLORE-TASK-RECORD LSUBR)) 
	(COMMENT **FASL** 8816. (LAP GET-TASK-RECORD LSUBR)) 
	(COMMENT **FASL** 8884. (LAP PUSH-TASK-RECORD LSUBR)) 
	(COMMENT **FASL** 9049. (LAP POP-TASK-RECORD SUBR)) 
	(COMMENT **FASL** 9085. (LAP SHORTEN-TASK-PATH SUBR)) 
	(COMMENT **FASL** 9122. (LAP MOVE-TO-TASK SUBR)) 
	(COMMENT **FASL** 9299. (LAP COUNT-TASKS SUBR)) 
	(COMMENT **FASL** 9362. (LAP CLASSIFY-TASKS SUBR)) 
	(COMMENT **FASL** 9462. (LAP FIND-TASKS-BY-FORMULA SUBR)) 
	(COMMENT **FASL** 9541. (LAP DISPLAY-TASK SUBR)) 
	(COMMENT **FASL** 9650. (LAP DISPLAY-TRIAL-REPORT SUBR)) 
	(COMMENT **FASL** 9743. (LAP TRIAL-REPORT-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 9772. (LAP DISPLAY-TASK-ARGS SUBR)) 
	(COMMENT **FASL** 9775. (LAP TASK-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 9827. (LAP XPTR-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 9854. (LAP DISPLAY-XPTR-COMMANDS SUBR)) 
	(COMMENT **FASL** 9888. (LAP XPTR-HELP SUBR)) 
	(COMMENT **FASL** 10075. (LAP SET-SHORT-DPYFLAG SUBR)) 
	(COMMENT **FASL** 10093. (LAP XPRG-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 10120. (LAP DISPLAY-XPRG-COMMANDS SUBR)) 
	(COMMENT **FASL** 10161. (LAP XPRG-HELP SUBR)) 
(COMMENT ****  (DATA-STRUCT) Unused LAMBDA variables in function EXERCISE-COMMONSENSE-REASONER)
	(COMMENT **FASL** 10377. (LAP EXERCISE-COMMONSENSE-REASONER LSUBR)) 
	(COMMENT **FASL** 10885. (LAP DISPLAY-CONTEXT SUBR)) 
	(COMMENT **FASL** 10965. (LAP DISPLAY-KNOWLEDGE SUBR)) 
	(COMMENT **FASL** 10971. (LAP DISPLAY-B∨Q-FORMULAS SUBR)) 
	(COMMENT **FASL** 11080. (LAP DISPLAY-SPECIF-B∨QS SUBR)) 
	(COMMENT **FASL** 11127. (LAP INVESTIGATE-QUERY SUBR)) 
	(COMMENT **FASL** 11215. (LAP REPORT-RESULTS SUBR)) 
	(COMMENT **FASL** 11429. (LAP STORE∨DELETE-BLFS SUBR)) 
	(COMMENT **FASL** 11480. (LAP RESET-KNOWLEDGE-BASE SUBR)) 
	(COMMENT **FASL** 11491. (LAP XCSR-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 11518. (LAP DISPLAY-XCSR-COMMANDS SUBR)) 
	(COMMENT **FASL** 11548. (LAP XCSR-HELP SUBR)) 
	(COMMENT **FASL** 11717. (LAP LOWER-CASE SUBR)) 
(COMMENT **** (DISPLAY-TRANSFER-COMMANDS SPACES ENCODE-LINFORMULA LINTYPE* TAB
INADVERTENT-TRANSFER-CHECK CONTEXT:PRED-LOOKUP CONTEXT:PRED-LOOKUP-ALL TCONC
CONTEXT:ADD CONTEXT:LOOKUP π-GET π-YH-UNITP CONTEXT:SPROUT-CONTEXT
ANALYZE-CMPD-CONCEPT NORMALIZE-CMPD-CONCEPT CREATE-LT-WFF-NEGATION LT-TYPE)
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  11750. WORDS)